constructive mathematics

См. также в других словарях:

• Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… …   Wikipedia

• Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia

• Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… …   Wikipedia

• Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …   Wikipedia

• Constructive Approximation —   Abbreviated title (ISO) Constr. Approx. Discipline mathematics …   Wikipedia

• mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

• Constructive quantum field theory — In mathematical physics, constructive quantum field theory is the field devoted to showing that quantum theory is mathematically compatible with special relativity. This demonstration requires new mathematics, in a sense analogous to Newton… …   Wikipedia

• Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard …   Wikipedia

• mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

• Areas of mathematics — Mathematics has become a vastly diverse subject over history, and there is a corresponding need to categorize the different areas of mathematics. A number of different classification schemes have arisen, and though they share some similarities,… …   Wikipedia

• Constructive function theory — In mathematical analysis, constructive function theory is a field which studies the connection between the smoothness of a function and its degree of approximation[1][2]. It is closely related to approximation theory. The term was coined by… …   Wikipedia